($\forall$$x$,$y$$\in$$L$.$P$($x$;$y$)) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$i$:\{0..$\parallel$$L$$\parallel^{-}$\}, $j$:\{0..$i$$^{-}$\}. $P$($L$[$j$];$L$[$i$])